int_{0}^{infty} e^{-ax} sin(x) /x dx where a>0